//import java.util.HashSet;
//import java.util.LinkedList;
//import java.util.List;
//import java.util.ListIterator;
//import java.util.Set;
//import org.apache.commons.collections.buffer.CircularFifoBuffer;
//import org.apache.commons.collections.comparators.FixedOrderComparator;
//import org.apache.commons.collections.list.CursorableLinkedList;
//import org.apache.commons.collections.map.LRUMap;
//import org.apache.commons.collections.map.MultiValueMap;
//import org.apache.commons.collections.set.ListOrderedSet;
//import junit.framework.TestCase;
//import sketch.ounit.Observer;
//import sketch.ounit.Values;
//import sketch.specs.annotation.TestSketch;
//import sketch.ounit.OUnit;
//import junit.framework.TestCase;
//public class MainExpansionTest extends TestCase {
//	
//	
//  @sketch.ounit.OUnit public void testrewriteSize0(){
//    MultiValueMap map=new MultiValueMap();
//    map.put("A","AA");
//    this.assertEquals(1,map.totalSize());
//    map.remove("A");
//    map.put("B","BB");
//    this.assertEquals(1,map.totalSize());
//    map.remove("B");
//    map.put("C","CC");
//    this.assertEquals(1,map.totalSize());
//    map.remove("C");
//    map.put("D","D");
//    this.assertEquals(1,map.totalSize());
//    map.remove("D");
//  }
//  @sketch.ounit.OUnit public void testrewriteSize1(){
//    MultiValueMap map=new MultiValueMap();
//    map.put("A","AA");
//    this.assertEquals(1,map.totalSize());
//    map.put("B","BB");
//    this.assertEquals(2,map.totalSize());
//    map.put("C","CC");
//    this.assertEquals(3,map.totalSize());
//    map.put("D","D");
//    this.assertEquals(4,map.totalSize());
//  }
//  @sketch.ounit.OUnit public void testrewriteSize2(){
//    MultiValueMap map=new MultiValueMap();
//    map.put("A","AA");
//    this.assertEquals(1,map.size());
//    map.remove("A");
//    map.put("B","BB");
//    this.assertEquals(1,map.size());
//    map.remove("B");
//    map.put("C","CC");
//    this.assertEquals(1,map.size());
//    map.remove("C");
//    map.put("D","D");
//    this.assertEquals(1,map.size());
//    map.remove("D");
//  }
//  @sketch.ounit.OUnit public void testrewriteSize3(){
//    MultiValueMap map=new MultiValueMap();
//    map.put("A","AA");
//    this.assertEquals(1,map.size());
//    map.put("B","BB");
//    this.assertEquals(2,map.size());
//    map.put("C","CC");
//    this.assertEquals(3,map.size());
//    map.put("D","D");
//    this.assertEquals(4,map.size());
//  }
//}
